In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
841	PC-lint/FlexeLint Support For MISRA C 1998 The chart below is based on au-misra1.lnt, our configuration file for MISRA C[removed]Although we have taken great care in creating this chart, we make no guarantees as to its com Add to Reading List Source URL: gimpel.com Language: English - Date: 2011-06-24 16:57:41 Data types C programming language C++ Cross-platform software C Pointer Type system Typedef Yes and no Computing Software engineering Programming language theory
842	INVENTORY UPDATE REPORT Please Return Completed Form to: Public Water Supply Section P.O. Box[removed]Helena, MT[removed]Please complete and mail to the address indicated above if your system has a change in owner info Add to Reading List Source URL: www.deq.mt.gov Language: English - Date: 2010-06-03 14:36:24 Computing C Software engineering Programming language theory Postal address verification Coding Accuracy Support System Postal system ZIP code Address
843	Security in the Cloud: Xen, KVM, Containers Or, Surviving and the Zombie Apocalypse “Some people make the mistake of thinking of containers as a better and faster way of running virtual machines. From a security Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2014-09-01 11:36:00 Programming language implementation Hypervisor Parallels Desktop for Mac Theo de Raadt System software Software Virtual machines
844	Mathematical Programming manuscript No. (will be inserted by the editor) Florian A. Potra Corrector-predictor methods for monotone linear complementarity problems in a wide Add to Reading List Source URL: www.math.umbc.edu Language: English - Date: 2006-03-12 22:34:55 Interior point method Predictor–corrector method Symbol Root system Linear programming Mathematics Applied mathematics Geometry
845	LATEX News Issue 20, June 2011 Scheduled LATEX bug-fix release This issue of LATEX News marks the first bug-fix release of LATEX 2ε since shifting to a new build system in 2009. Add to Reading List Source URL: piotrkosoft.net Language: English - Date: 2014-10-15 10:34:38 Publishing Donald Knuth TeX Digital typography LaTeX Macro programming languages Computer Modern Typography Application software Typesetting
846	Computer Science Technical Report An Approach for Code Generation in the Sparse Polyhedral Framework Michelle Mills Strout, Alan LaMielle, Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2013-12-24 12:07:31 System software Computer performance Arrays Compiler optimizations Parallel computing Executor Lookup table Sparse matrix Array data type Computing Computer programming Software optimization
847	Performance Analysis of BSTs in System Software [Extended Abstract] Ben Pfaff Stanford University Department of Computer Science [removed] Add to Reading List Source URL: benpfaff.org Language: English - Date: 2014-11-24 21:25:48 Computer programming Self-balancing binary search tree Binary search tree AVL tree Tree Search tree Red–black tree Splay tree T-tree Binary trees Graph theory Computing
848	Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira MIT Laboratory for Computer Science 200 Technology Square, Cambridge, MA 02139 {chandra,liskov,liub Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2002-10-21 13:30:36 Computer programming Data types Type theory Type system Subtype polymorphism Object Class Iterator Method Software engineering Object-oriented programming Computing
849	Practical Trigger-Action Programming in the Smart Home Blase Ur†, Elyse McManus, Melwyn Pak Yong Ho, Michael L. Littman* †Carnegie Mellon University Brown University [removed], elyse [removed], melwyn pa Add to Reading List Source URL: www.blaseur.com Language: English* - Date: 2014-04-10 16:16:50 Database trigger Usability Operating system Programming language Design Computer programming End-user development Technology Computing Human–computer interaction Mechanisms Trigger
850	Agricultural Impact Analysis using GAMS Introduction to GAMS Bruce A. McCarl Specialist in Applied Optimization Professor of Agricultural Economics, Texas A&M Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-07-25 06:05:47 Linear programming Mathematical optimization Computable general equilibrium Simultaneous equations General Algebraic Modeling System Operations research Mathematics Applied mathematics

UPDATE